This file was licensed from D. Bruce Mitchell.